Embedding attribute grammars and their extensions using functional zippers

Attribute grammars are a suitable formalism to express complex software language analysis and manipulation algorithms, which rely on multiple traversals of the underlying syntax tree. Attribute grammars have been extended with mechanisms such as reference, higher order and circular attributes. Such extensions provide a powerful modular mechanism and allow the specification of complex computations. This paper studies an elegant and simple, zipper-based embedding of attribute grammars and their extensions as first class citizens. In this setting, language specifications are defined as a set of independent, off-the-shelf components that can easily be composed into a powerful, executable language processor. Techniques to describe automatic bidirectional transformations between grammars in this setting are also described. Several real examples of language specification and processing programs have been implemented. (C) 2016 Elsevier B.V. All rights reserved.This author is supported by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project ON.2 IC&DT Programa Integrado "BEST CASE - Better Science Through Cooperative Advanced Synergetic Efforts (Ref. BIM-2013_BestCase_RL3.2_UMINHO) and project FATBIT - Foundations, Applications and Tools for Bidirectional Transformation (Ref. FCOMP-01-0124-FEDER-020532).This author is partially supported by NSF Award #1047961

Generating attribute grammar-based bidirectional transformations from rewrite rules

Higher order attribute grammars provide a convenient means for specifying uni-directional transformations, but they provide no direct support for bidirectional transformations. In this paper we show how rewrite rules (with non-linear right hand sides) that specify a forward/get transformation can be inverted to specify a partial backward/put transformation. These inverted rewrite rules can then be extended with additional rules based on characteristics of the source language grammar and forward transformations to create, under certain circumstances, a total backward transformation. Finally, these rules are used to generate attribute grammar specifications implementing both transformations.This work is partly funded by the following projects: European Regional Development Fund (ERDF) through the program COMPETE, project reference FCOMP-01-0124-FEDER-020532, by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte); under the National Strategic Reference Framework (NSRF), through the ERDF, project reference RL3 SENSING NORTE-07-0124-FEDER-000058; by the Portuguese Government through FCT (Foundation for Science and Technology); by the U.S. National Science Foundation (NSF) award No. 0905581 and 1047961; and by the FLAD/NSF program Portugal-U.S. Research Networks 2011

Mixed methods evaluation of targeted selective anthelmintic treatment by resource-poor smallholder goat farmers in Botswana

AbstractDue to the threat of anthelmintic resistance, livestock farmers worldwide are encouraged to selectively apply treatments against gastrointestinal nematodes (GINs). Targeted selective treatment (TST) of individual animals would be especially useful for smallholder farmers in low-income economies, where cost-effective and sustainable intervention strategies will improve livestock productivity and food security. Supporting research has focused mainly on refining technical indicators for treatment, and much less on factors influencing uptake and effectiveness. We used a mixed method approach, whereby qualitative and quantitative approaches are combined, to develop, implement and validate a TST system for GINs in small ruminants, most commonly goats, among smallholder farmers in the Makgadikgadi Pans region of Botswana, and to seek better understanding of system performance within a cultural context. After the first six months of the study, 42 out of 47 enrolled farmers were followed up; 52% had monitored their animals using the taught inspection criteria and 26% applied TST during this phase. Uptake level showed little correlation with farmer characteristics, such as literacy and size of farm. Herd health significantly improved in those herds where anthelmintic treatment was applied: anaemia, as assessed using the five-point FAMACHA© scale, was 0.44–0.69 points better (95% confidence interval) and body condition score was 0.18–0.36 points better (95% C.I., five-point scale) in treated compared with untreated herds. Only targeting individuals in greatest need led to similar health improvements compared to treating the entire herd, leading to dose savings ranging from 36% to 97%. This study demonstrates that TST against nematodes can be implemented effectively by resource-poor farmers using a community-led approach. The use of mixed methods provides a promising system to integrate technical and social aspects of TST programmes for maximum uptake and effect

The South African SHARE-TAVI registry: incidence and risk factors leading to conduction disturbances requiring permanent pacemaker implantation

Background: One of the most common complications post transcatheter aortic valve implantation (TAVI) is the development of heart block requiring permanent pacemaker implantation (PPM). The incidence of PPM in international registries ranges from 13% - 17.5%. Methods: The aim of this observational study was to report the PPM rate in the SHARE-TAVI registry and determine the clinical, electrocardiographic and procedural predictors of PPM as well as the effect of PPM on clinical outcomes. Results: Three hundred and fi ve subjects were analysed. The PPM rate was 9%. Third degree atrioventricular block at the time of implant was the most common indication for PPM. Self-expanding valves (PPM rate 14% vs. 6% for balloon-expandable valves, p=0.02) were correlated with the need for PPM. Baseline ECG predictors of PPM were axis deviation, QRS duration and conduction delay, most notably a pre-existing right bundle branch block (OR 15.88, p<0.01). PPM infl uenced functional class at 30 days, but not the need for repeat hospitalisation or mortality at 30-day and 1-year follow-up. Conclusions: A PPM rate lower than that reported in large international registries was found. Predictors of PPM and the infl uence of PPM on outcomes were similar to those reported in the international data

Prediction and attenuation of seasonal spillover of parasites between wild and domestic ungulates in an arid mixed-use system

Transmission of parasites between host species affects host population dynamics, interspecific competition, and ecosystem structure and function. In areas where wild and domestic herbivores share grazing land, management of parasites in livestock may affect or be affected by sympatric wildlife due to cross-species transmission.We develop a novel method for simulating transmission potential based on both biotic and abiotic factors in a semi-arid system in Botswana. Optimal timing of antiparasitic treatment in livestock is then compared under a variety of alternative host scenarios, including seasonally migrating wild hosts.In this region, rainfall is the primary driver of seasonality of transmission, but wildlife migration leads to spatial differences in the effectiveness of treatment in domestic animals. Additionally, competent migratory wildlife hosts move parasites across the landscape.Simulated transmission potential matches observed patterns of clinical disease in livestock in the study area. Increased wildlife contact is correlated with a decrease in disease, suggesting that non-competent wild hosts may attenuate transmission by removing infective parasite larvae from livestock pasture.Optimising the timing of treatment according to within-year rainfall patterns was considerably more effective than treating at a standard time of year. By targeting treatment in this way, efficient control can be achieved, mitigating parasite spillover from wildlife where it does occur. Synthesis and applications. This model of parasite transmission potential enables evidence-based management of parasite spillover between wild and domestic species in a spatio-temporally dynamic system. It can be applied in other mixed-use systems to mitigate parasite transmission under altered climate scenarios or changes in host ranges

The Ursinus Weekly, November 1, 1973

UN Day held at UC • USGA-Union lock horns over new rep. position • SFARC elections held; warning system set • Protheatre productions scheduled for weekend • Musicians initiated into Pi Nu Epsilon • Editorial: The American Film Theatre; New furniture in Wilkinson lounge • Letters to the editor: Jazz fan responds; Starving student complains; Mr. Self speaks • Alumni corner • Jazz: Herman Herd in motion • Faculty Portrait: Dr. Peter G. Jessup • A discourse on mental divorce • Billy Jack • Ursinus downs U of P; then falls to Rams • Bears lose fifth game to a tough Widener teamhttps://digitalcommons.ursinus.edu/weekly/1004/thumbnail.jp

Goat health and management for improved smallholders’ livelihoods in central Malawi:A socioeconomic analysis of rural households

The true value of goats, their management systems, and the limitations of smallholdings have not been fully explored in the context of sustainable livelihoods among rural smallholders in central Malawi. However, goats are an essential part of rural livelihoods as transferable assets and sources of household nutrition, especially at times of food insecurity aligned to an ever more variable climate. To study the impact and limitations of goat ownership in Malawi’s Lilongwe district, surveys were performed across four villages covering 148 households from October-November 2019. Surveys were designed to identify linkages between household demographics, livelihoods, goat ownership, and management practices. Findings revealed goats are highly valued compared to other livestock. However, herds were small (median = 3) with only 62% reported kidding in the last year, while 50% reported deaths due to diseases, predation (such as by hyenas), and dog bites. Odds-ratio analyses identified farmers (as a primary occupation) were more likely to successfully breed goats to increase their herd size. Larger herds were associated with those who could accumulate wealth and utilise goats for ceremonies. However, diseases were a major contributor to losses and increased the risk of household food insecurity. Limiting disease impacts through anthelmintics and supplementation were correlated to an increased likelihood of sustainable offtake from smallholdings and improved livelihoods. With limited access to veterinary services, smallholders utilise a diversity of medicinal plants and ash to treat diarrhoea in their herd. The results highlight that goat security and health is fundamental to realising smallholding livelihood gains. Future efforts should aim to empower smallholders through providing tools to monitor goat health and to assess the effects of local practices, including the use of medicinal plants, for goat health

A principled approach to REPL interpreters

Read-eval-print-loops (REPLs) allow programmers to test out snippets of code, explore APIs, or even incrementally construct code, and get immediate feedback on their actions. However, even though many languages provide a REPL, the relation between the language as is and what is accepted at the REPL prompt is not always well-defined. Furthermore, implementing a REPL for new languages, such as DSLs, may incur significant language engineering cost. In this paper we survey the domain of REPLs and investigate the (formal) principles underlying REPLs. We identify and define the class of sequential languages, which admit a sound REPL implementation based on a definitional interpreter, and present design guidelines for extending existing language implementations to support REPL-style interfaces (including computational notebooks). The obtained REPLs can then be generically turned into an exploring interpreter, to allow exploration of the user’s interaction.The approach is illustrated using three case studies, based on MiniJava, QL (a DSL for questionnaires), and eFLINT (a DSL for normative rules). We expect sequential languages, and the consequent design principles, to be stepping stones towards a better understanding of the essence of REPLs.</p

Multiwavelength Monitoring of the BL Lacertae Object PKS 2155-304 in May 1994. I. The Ground-Based Campaign

Optical, near-infrared, and radio observations of the BL Lac object PKS2155-304 were obtained simultaneously with a continuous UV/EUV/X-ray monitoring campaign in 1994 May. Further optical observations were gathered throughout most of 1994. The radio, millimeter, and near-infrared data show no strong correlations with the higher energies. The optical light curves exhibit flickering of 0.2-0.3 mag on timescales of 1-2 days, superimposed on longer timescale variations. Rapid variations of ~0.01 mag/min, which, if real, are the fastest seen to date for any BL Lac object. Small (0.2-0.3 mag) increases in the V and R bands occur simultaneously with a flare seen at higher energies. All optical wavebands (UBVRI) track each other well over the period of observation with no detectable delay. For most of the period the average colors remain relatively constant, although there is a tendency for the colors (in particular B-V) to vary more when the source fades. In polarized light, PKS 2155-304 showed strong color dependence and the highest optical polarization (U = 14.3%) ever observed for this source. The polarization variations trace the flares seen in the ultraviolet flux.Comment: 45 pages, latex file with encapsulated postscript, accepted to the Astrophysical Journa